Math 3191: Diagonalizing Symmetric Matrices